Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
71	Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space model Steve Kremer1 , Aybek Mukhamedov2 , and Eike Ritter2 1 Add to Reading List Source URL: fc05.ifca.ai Language: English - Date: 2005-01-17 11:54:22
72	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
73	Intro Examples Where next? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Automated theorem proving Mathematical proof Proof assistant Theorem Formal methods Proof
74	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2015-07-27 06:09:15 Automated theorem proving Theoretical computer science Logic Formal methods Mathematics Logic in computer science Proof theory Mathematical proof Proof assistant Isabelle Theorem Proof
75	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
76	Formal proof mining, a structure-oriented approach Matthias Puech∗ October 9, 2009 Large corpora of formal proofs have been developed over the years, that sit in Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-20 08:53:24
77	SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Theoretical computer science Software Logic Proof assistants Automated theorem proving Formal systems Logical truth Proof theory Isabelle ACL2 Coq Proof
78	Black Hats can also benefit from Formal Methods PROOF 2015 Saint Malo, September the 28th Add to Reading List Source URL: www.proofs-workshop.org Language: English
79	The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA. Add to Reading List Source URL: openwall.info Language: English - Date: 2014-10-13 00:40:06 Theoretical computer science Formal methods Computer science Software engineering Logic in computer science Dependently typed programming Proof assistants Proof-carrying code Formal verification Mathematical proof CurryHoward correspondence Algorithm
80	The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2015-05-22 01:14:27 Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml Formal verification French Institute for Research in Computer Science and Automation

UPDATE